// TARGET_BACKEND: WASM

// RUN_THIRD_PARTY_OPTIMIZER
// WASM_DCE_EXPECTED_OUTPUT_SIZE: wasm 34_905
// WASM_DCE_EXPECTED_OUTPUT_SIZE:  mjs  7_157
// WASM_OPT_EXPECTED_OUTPUT_SIZE:         148

// IGNORE_BACKEND: WASM_WASI

fun box() = "OK"
